Formal Verification of Financial Algorithms with Imandra