fix: suppressed warnings of heap pollutions via varargs parameter

[sttk]

Proc#runTxn and Proc#txn uses variadic arguments with a type parameter, and compiler outputs warnings of possibility of heap pollutions at these methods.

Since these methods does not modify their argument arrays and there are no possibility of heap pollutions, @SafeVarargs annotation and final morifier are attached to each of these methods to suppress the warnings.