Improve logging in Solver::Options::IsValid. The error message now includes the value of the offending option. Change-Id: Ic2493709f54f7efe59313d51d1ff9638191c8b38