Ordinal/Buchholz: checked refutation — rank-pow reverses a <ᵇ step at the ψ/Ω boundary

Ordinal/Buchholz: checked refutation — rank-pow reverses a <ᵇ step at the ψ/Ω boundary #744