MaxSAT Fuzzing and Delta Debugging (JAIR, 2026)