Small fixes
Created by: silabs-krdosvik
make pma 2 clic config clock sequences for questa remove todos, remove old comment add comment to make assertions more understandable.
Addresses some of the comments in this PR https://github.com/openhwgroup/core-v-verif/pull/2314
Formal compiles Ci check: pass