Once basic batching support is finished, use it to implement `MySqlDbAdapter.ExecuteBatch`. Depends on #657.