bump required solve version >= 0.8.0

This includes a performance increase when dealing with large graphs. Previously
tracers would perform string interpolation regardless if they were to be output
or not.