Port Program diagnostics, deprecations

[jakebailey]

Right now, none of the Program-level diagnostics are ported, e.g. verifyCompilerOptions.

related: #982 (comment)

[jakebailey]

Part of this are deprecations, which the new code should have more of to complain about node10, removed module modes, etc.