I have the 8mm but to be honest I didn't know there was a 7mm option. 8mm seems to works great with all diameter of ropes.
Yeah, I’ve worked a lot with both sizes, and to answer the OP’s question, in the hand they don’t feel very much different. The specs say that 8mm is stronger, but both are plenty strong for any recreational climbing application.