Test with hardening flags

[mads256h]

This exposes a OOB access in a vector somewhere.

[mads256h]

This makes the tests fail on linux because of OOB vector access asserting. Run the workflows on this pr to see this.

[mads256h]

The issue stems from the PetriNet::sort function
More specifically it seems like it is these lines that cause the issue:
The error is triggered in line 176

verifypn/src/PetriEngine/PetriNet.cpp

Lines 175 to 176 in 8853068

	TransPtr& t2 = _transitions[i + 1];
	std::sort(&_invariants[t.outputs], &_invariants[t2.inputs], [](const auto& a, const auto& b) { return a.place < b.place; });

I debugged this with gdb.
With my model I got t2.inputs = 20 and t2.outputs = 20 with _invariants.size() = 20
So we have a off by one error here.
I have attached the project
traffic_light.zip