Remove ":inline" attribute for three functions with embedded quantifiers. Inlining these significantly complicates the SMT query and Z3 was struggling on some problems.
Remove ":inline" attribute for three functions with embedded quantifiers.
Inlining these significantly complicates the SMT query and Z3 was struggling
on some problems.

Closes: #3601
Approved by: cbarrettfb

libra/libra,aptos-labs/aptos-core,aptos-labs/aptos-core,aptos-labs/aptos-core,libra/libra,aptos-labs/aptos-core,libra/libra,aptos-labs/aptos-core,libra/libra,libra/libra,aptos-labs/aptos-core,aptos-labs/aptos-core