Reshape options, add debug sections, simplify reporters

- Debug sections can be toggled to enable detailled information
- Options can be explicitly turned off, --debug:options lists all
- Switch from multiple reporters to a single one to rule them all
Optionify CEGIS options, turn gencalls on by default
Remove dependency mismatch warnings
Replacing empty finite sets should keep type information