feat: Immutable Vault & Revenue Splitter added to aTokenVaultFactory #63

Job	Run time
verify (fees_LEQ_ATokenBal.conf)	18m 37s
verify (changeInContractBalanceShouldCauseAccrual.conf)	12m 46s
verify (positiveSupply_imply_positiveAssets-mint.conf)	5m 4s
verify (lastVaultBalance_LEQ_ATokenBalThis.conf)	11m 5s
verify (positiveSupply_imply_positiveAssets-deposit.conf)	6m 25s
verify (erc4626-previewOPERATIONS.conf)	6m 30s
verify (accrueYieldCheck.conf)	12m 9s
verify (positiveSupply_imply_positiveAssets-other.conf)	10m 1s
verify (positiveSupply_imply_positiveAssets-withdraw.conf)	6m 22s
verify (positiveSupply_imply_positiveAssets-redeem.conf)	5m 6s
verify (rayMul_rayDiv_mulDiv_properties.conf)	6m 17s
verify (totalSupply_EQ_sumAllBal.conf)	14m 58s
	1h 55m 20s

Provide feedback