change solvency invariant check to use rust api

[dpaiton]

The solvency invariant check is presently written out in Python. We should be using a binding from the Rust API because 1) we have specific rounding behavior we prefer when checking this, and 2) the check itself is also used in the max long & max short flows.