On-Chain Smart Contract Verification over Tendermint