redex: add virtual machine model to benchmark