feat: Revenue Splitter added to aTokenVault Factory #71

Job	Run time
verify (changeInContractBalanceShouldCauseAccrual.conf)	13m 52s
verify (positiveSupply_imply_positiveAssets-deposit.conf)	7m 1s
verify (fees_LEQ_ATokenBal.conf)	22m 8s
verify (erc4626-previewOPERATIONS.conf)	7m 5s
verify (lastVaultBalance_LEQ_ATokenBalThis.conf)	9m 37s
verify (positiveSupply_imply_positiveAssets-mint.conf)	7m 3s
verify (positiveSupply_imply_positiveAssets-other.conf)	12m 11s
verify (positiveSupply_imply_positiveAssets-redeem.conf)	6m 57s
verify (rayMul_rayDiv_mulDiv_properties.conf)	8m 17s
verify (totalSupply_EQ_sumAllBal.conf)	20m 18s
verify (positiveSupply_imply_positiveAssets-withdraw.conf)	7m 2s
verify (accrueYieldCheck.conf)	10m 38s
	2h 12m 9s

Provide feedback