Add the ability to filter contradictions by book; make highlighted contradiction go to the top of the stack; a couple small fixes.