defrecord can emit invalid bytecode

Per https://ask.clojure.org/index.php/9943/defrecord-can-emit-invalid-bytecode

Getting a verifier error:

Minimal repro:

Cause: Records implement Map (which has a put() method) and the put() method in IBad is a different signature . It may not be possible to make this work, but we should detect and fail rather than emit invalid bytecode.