Kontrol your smart contracts with formal verification made simple