Feature/formally parse riscv isa #2927

Job	Run time
build-macos (macos-13)	40s
build-mingw (windows-2022, mingw64)	1m 50s
build-macos (macos-14)	19s
build-linux (jammy, 96b_carbon)	38s
build-mingw (windows-2022, ucrt64)	1m 46s
build-macos (macos-13, gcc@11)	1m 9s
build-macos (macos-latest)	21s
build-linux (jammy, blackpill-f401cc)	36s
build-mingw (windows-2022, clang64)	1m 56s
build-macos (macos-13, gcc@12)	1m 4s
build-linux (jammy, blackpill-f401ce)	1m 7s
build-macos (macos-13, gcc@13)	1m 4s
build-linux (jammy, blackpill-f411ce)	41s
build-msvc (meson, windows-2022)	1m 20s
build-macos (macos-13, gcc@14)	1m 2s
size-diff	43s
build-linux (jammy, bluepill)	42s
build-macos (macos-14, gcc@11)	41s
build-linux (jammy, ctxlink)	39s
build-macos (macos-14, gcc@12)	33s
build-linux (jammy, f072)	36s
build-macos (macos-14, gcc@13)	39s
build-linux (jammy, f3)	51s
build-macos (macos-14, gcc@14)	33s
build-linux (jammy, f4discovery)	41s
build-linux (jammy, hydrabus)	33s
build-linux (jammy, launchpad-icdi)	33s
build-linux (jammy, native)	34s
build-linux (jammy, native-uncommon)	42s
build-linux (jammy, native-st-clones)	42s
build-linux (jammy, native-riscv)	33s
build-linux (jammy, native-remote)	41s
build-linux (jammy, stlink)	39s
build-linux (jammy, stlinkv3)	40s
build-linux (jammy, swlink)	37s
	28m 25s

Provide feedback