- Make `InstructionViolation` abstract to avoid computing `getInstructionsUpTo()` for all instructions in the database. - Enable `consistency.ql`, which reports all consistency violations, and remove all other specialized tests.