Issue 13185 - Detect precondition violations at compile time when possible

Implement compile-time contract checks for preconditions with the following limitations:
- Precondition contains only a single assert
- Parameters are value types or immutable
- Arguments are constant expressions
- Assert condition consists of only integer constants, parameters and comparisons