Improved Assert output
Refactored solver tests to use the new extension method