ci: execute gas reports and coverage on each ci run (#72) #24

Job	Run time
verify (AToken.conf)	6m 7s
verify (ReserveConfiguration.conf)	58s
verify (UserConfiguration.conf)	1m 9s
verify (VariableDebtToken.conf)	1m 18s
verify (NEW-pool-no-summarizations.conf)	5m 0s
verify (stableRemoved.conf)	3m 41s
verify (EModeConfiguration.conf)	5m 51s
verify (NEW-pool-simple-properties.conf --rule cannotDepositInInactiveReserve --msg "cannotDeposi...	2m 19s
verify (NEW-pool-simple-properties.conf --rule cannotDepositInFrozenReserve --msg "cannotDepositI...	2m 8s
verify (NEW-pool-simple-properties.conf --rule cannotDepositZeroAmount --msg "cannotDepositZeroAm...	2m 16s
verify (NEW-pool-simple-properties.conf --rule cannotWithdrawZeroAmount --msg "cannotWithdrawZero...	1m 56s
verify (NEW-pool-simple-properties.conf --rule cannotWithdrawFromInactiveReserve --msg "cannotWit...	2m 46s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowZeroAmount --msg "cannotBorrowZeroAmou...	30m 14s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnInactiveReserve --msg "cannotBorrowO...	2m 59s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnReserveDisabledForBorrowing --msg "c...	2m 6s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnFrozenReserve --msg "cannotBorrowOnF...	2m 6s
	1h 12m 54s

Provide feedback