Add tests and Arbitrary Proxy instance provided by Gabriel in #49.