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

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.