Enable coverage testing
Added Versions.dummy

This is a magic version that matches every restriction. The solver needs
this for the dummy implementations it adds when generating diagnostics.