Add simple no-checks mode, roughly omitting all checking behaviours to produce an unconditional specialisation