Add test method name to printout
Allow assertions in the Nachos thread