Better test errors shown
Add test timeouts of 100ms. Add FAILING test 'f x = f' that should encounter infinite type. Instead encounters infinite loop