Refactor stateful TPBT

[xspirus]

This PR updates the implementation of the stateful targeted property based testing, in order to make it better in two ways:

• Make the codebase a lot smaller.
• Make the search much more effective.