Compatibility entry for fixed-scale large-common-modulus bounds

The common proofs and unit-scale specializations live in the original W bound module. The original W and divisor imports are retained for their public APIs.