Bandingkan efisiensi waktu dan ruang antara penggunaan Merkle Tree versus Verkle Tree dalam konteks implementasi state database untuk blockchain yang memiliki throughput transaksi tinggi. Jelaskan kompleksitas Big-O untuk operasi penyisipan, verifikasi, dan pembaruan, serta berikan rekomendasi arsitektur untuk meminimalkan I/O disk.