Move select out of EvalVM/GenVM