static_assert

`require` and `assert` can be used to write formal specs into Solidity, but many people don't because they automatically lead to extra bytecode increasing gas costs.
`static_require` and `static_assert` could be logical only, without code generation.
One variation would to also generate code if compiled in debug mode (or similar).

The issue names no files, tests, or entry points; begin by locating the compiler handling for Solidity require/assert and reviewing how bytecode generation is tested. Done means a settled design and implementation for logical-only static_require/static_assert, with debug-mode code generation only if that variation is accepted.

Written by the indexing model from the issue text.