remove assertion
add property names for Bit64 functions
add property names to contract and remove old proofs