sevm

EVM implementation with Spartan.