fix: order list bls before pverify

Author: amkCha

hub/instruction_handling/call/precompiles/common/generalities.tex

@@ -14,17 +14,17 @@
 \instIdentity{},
 \instEcadd{},
 \instEcmul{},
-\instEcpairing{} or
-\instPVerify{}
+\instEcpairing{}
 precompiles or with the ``\blsDataMod{}'' precompiles i.e.
 \instPointEvaluation{}
 \instBlsGOneAdd{}
 \instBlsGOneMsm{}
 \instBlsGTwoAdd{}
 \instBlsGTwoMsm{}
 \instBlsPairingCheck{}
-\instBlsMapFpToGOne{} or
-\instBlsMapFpTwoToGTwo{}
+\instBlsMapFpToGOne{}
+\instBlsMapFpTwoToGTwo{} or
+\instPVerify{} precompile.
 As previously remarked,
 see note~(\ref{hub: instruction handling: call: precompiles: flag sums and nsr II: the prc scenario row is followed by a misc row}),
 the current scenario-row $i$ will be followed by a miscellaneous-row $(i + \prcCommonMiscRowOffset)$.