Update Maglev #[] and #[]= specs