VerX Safety Verification of Smart Contracts