SMT Semantics Supported

[internal] All information about the supported semantics.

• AArch64 SMT semantics supported
• ARM32 SMT semantics supported
• RV32 and RV64 SMT semantics supported
• x86 and x86-64 SMT semantics supported