Benchmark vector reads
Fix Magma restart bug