Refactor: EvalVM and GenVM become just VM