Flashloan implementation depends on Aptos VM correctness

The implementation of flashloans in Liquidswap is correct; however, it depends heavily on the correctness of the Aptos VM and its bytecode verifier.