vrepl: shrink .repl inputs, so repl_test.v runs faster

vrepl: shrink .repl inputs, so repl_test.v runs faster #289