EVM: introduce precompiled contract to produce withdrawals