add actual tests of the repl using Execution