Semantic money refactor: modeling solvency oracle #7304

Job	Run time
Checking what packages need to be built	1m 16s
Coverage Test sdk-core (Feature Branch)	0s
Test Spec Haskell (Feature Branch) / Test Spec Haskell - Linux - ghc-9.4	2m 15s
Hot Fuzz Superfluid Protocol (Feature Branch)	0s
Test Solidity Semantic Money Library (Feature Branch)	0s
Test Subgraph (Feature Branch)	0s
Test sdk-core (Feature Branch)	0s
Test Automation Contracts (Feature Branch)	0s
Test ethereum-contracts (Feature Branch)	0s
Coverage Test ethereum-contracts (Feature Branch)	0s
Upload Coverage Reports (Feature Branch)	0s
All packages tested (Feature Branch)	4s
	3m 35s

Provide feedback