support RV32E in atomic asserts, add atomic to regression list

Created by: silabs-krdosvik

Make sure atomic assert support RV32E configuration. Add atomic test to regression list. Assertions passes in formal. ci check passes.