P-ROC: clean up solenoid change detection code, resolves problem with Demolition Man magnet (solenoid 33, bit 32 of core_getAllSol())