Build system: Add ExtraMakefileSanityChecks for extra safety

Whether we check that .hi files have actually been created is now
controlled by $(ExtraMakefileSanityChecks) (defaults to NO).

Also updated comments about the .hi rule.
Small build system refactoring

hs-suffix-rules now calls hs-suffix-rules-srcdir, saving some duplication