US 61-112 16.3.2.4p03.4 [structure.specifications] Do not use contracts for hardening

The hardened implementation should be specified independently of contracts which are not a proven technology.  All existing deployed field experience are not based on contracts.

Proposed change:

Change “contract violation” to “runtime violation”.

Duplicate of: #588. #589 (#691)