op-service: use geth withdrawals type, verify withdrawals in rpc-block verification, add test vectors and rpc-block tests