Simplify Assertion's result message

the current implementation of Assertion is just for testing the future
codes of tescha or for people who want thier test to be extremely fast
fix type error and other tivial mistakes in assertion.rb