Add atomic assertions verifying PMA, add coverage points

Created by: silabs-krdosvik

Add atomic assertions verifying PMA, Add coverage points

ci check passes (except a timeout of the corev_rand_interrupt test). Formal compiles. Added assertions and coverpoints passes.

PMA vplan is updated here: https://github.com/openhwgroup/core-v-verif/pull/2284

Drafth: Did some mistakes when checking firstfail cp, so the change might not be needed, test is running)