Investigate test failures with Mono 4.4.2

[delcypher]

Looks like the TravisCI build is failing.

[delcypher]

I've had to make a hack ( 2ff26fd ) to avoid running some of the tests. It looks like the solver is timing out when running the SymbooglixLibTests unit tests.

This way we'll still get some of the benefits of having CI.

I can't reproduce this issue on my machine or in my docker container so I don't know how to debug this.