Removed the Verification Strategy

This looks like a big PR, but it's not really. The biggest single change here is to delete the source files for the Verification Strategy which is now in core-v-verif. Other changes are mostly cosmetic and updating of out-of-date information in READMEs.