Fix test-suite/Basics.v to work with 8.4pl3.

It seems that in the pl3 version there is no need to Solve Obligations.
Add my notes.