feat: Revenue Splitter added to aTokenVault Factory #72

Job	Run time
verify (fees_LEQ_ATokenBal.conf)	17m 48s
verify (lastVaultBalance_LEQ_ATokenBalThis.conf)	5m 57s
verify (erc4626-previewOPERATIONS.conf)	6m 58s
verify (positiveSupply_imply_positiveAssets-mint.conf)	8m 12s
verify (totalSupply_EQ_sumAllBal.conf)	15m 44s
verify (positiveSupply_imply_positiveAssets-withdraw.conf)	9m 59s
verify (positiveSupply_imply_positiveAssets-deposit.conf)	11m 0s
verify (changeInContractBalanceShouldCauseAccrual.conf)	6m 57s
verify (rayMul_rayDiv_mulDiv_properties.conf)	7m 24s
verify (accrueYieldCheck.conf)	1m 50s
verify (positiveSupply_imply_positiveAssets-redeem.conf)	10m 20s
verify (positiveSupply_imply_positiveAssets-other.conf)	6m 49s
	1h 48m 58s

Provide feedback