feat(l2-withdrawals): Withdrawals storage root verification in execution

feat(l2-withdrawals): Withdrawals storage root verification in execution #38915