Added assertion dependencies to proxies.
Implemented verify no interaction.
Merge branch 'feature/verify-no-interaction' into develop