Implement new way for detecting strong soundness without modifying the net (all work apart from sending
the max bound is done in the engine now). by TAPAAL Contributors review by Jiri Srba approved by Mathias Grund Sørensen, Jiri Srba