Separate complement using brzozowski minimization from classical complement

[Adda0]

This PR:

• optimizes removal of elements from sparse set by not checking for element existence multiple times.
• adds a method to swap final and non-final states in the automaton, as requested by Debordelize complement #342.
• adds a convenience function to compute a complement of a DFA in-place, as requested by Debordelize complement #342.
• extracts complement using Brzozowski minimization into a separate function, as requested by Debordelize complement #342.
• removes an unnecessary use of dynamic memory from Add residual reduction algorithm #406.

This PR resolves #342.

[jurajsic]

Looks good!

[jurajsic]

I think we can merge this.

[Adda0]

I will. I discussed with Lukáš that we will review the most important changes later on when he has a bit of time to spare.