bump required solve version >= 0.8.0

This will speed up resolution a bit with large graphs

/cc @andrewGarson