Arguments assertions as well in the method-specs

[gnithin]

There should be another macro similar toKMFMakeMethodSpec which takes in a third argument which is a block. The block will contain the invocation object. That invocation object can be used to fetch the arguments of the current method. It can then be used to assert the values it represents.