Updated repl.py with fixes to InvalidateTest.py