`deftype`/`reify` method signatures should be verified at compile time

[chrisrink10]

The methods implemented in deftype and reify should attempt to verify the signatures of implemented methods and issue warnings (or errors, if possible) when a signature mismatch occurs. I'm not sure how reliably we'll be able to do this, so we may need an escape hatch metadata key to allow users to override the compiler check.