Without K

See Cubical compatible.

The option --without-K was renamed to --cubical-compatible in Agda 2.6.3. It is retained for backwards compatibility. See Issue #5843.