RISC V and PowerPC 64

track quantifier instantiation method in proof hint #7080 #3393

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
build (aarch64)	17m 12s
build (riscv64)	15m 31s
build (powerpc64)	16m 40s
	49m 23s