Implemented Proxy Transactor abstraction and modified house purchase example to use proxies