Release after oracle executable introduction.

This introduces the following:

• An executable that is able to check whether a symbolic trace is possible in a given SFSM.
• Removal of and warnings for infeasible transitions.
• Container builds for the SFSM method executable.
• Code refactoring and cleanup.