The `SyncIoDisk` in `sgx-disk` is not scalable on concurrency.  The problem is that there is a lock hold while doing I/O. This lock can be removed if using `read_at` and `write_at` API. 