Pin K7 number in fastio1280.h is 69, but it's also ADC15 pin. To get correct value from ADC reading it should be set as 15.
Remove assert and unused code since it is implemented in pinsDebug_plus_70.h