Return Errors Again
The test function in sbv-transform/src/Transformation has been changed to return the Unit Type instead of ThmResult and print out the result. We need this Result or some other indicator to determine if the verification was successful. Therefor it would be good if you could return the Result again.