Replaced fixed test fixture in TestAssert with quickcheck extensions.
Added asset methods with no messages.