Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits