Lähetä tietue sähköpostilla: Towards a Formally Verified EVM in Production Environment