Switching between FO and GC tracing

[henry2004y]

Check the scheme for switching between FO and GC tracing. Implement the dynamic switching method.

[henry2004y]

First version implemented in #432

[henry2004y]

I don't think the current hybrid solver is working properly. We need more validation. For example, the hybrid solver seems more expensive than the others.