Add verify() call in ITMockAndProxyFacade.
Update documentation to indicate usage of MockAndProxyFacade.