Simplify MockProxy's interaction with RSpec models
Override MessageExpecation#with to track message arguments from MockProxy
Additional testing and bugfix for argument verification
Add return value testing and detect return value from expectations
Fulfill contracts by observing return values