Added support for some other assertions

Like Throws, IsStruct, etc
README modified.