Add FStar_Monotonic_Heap_aref to fix regression caused by monotonic HyperStack
Add FStar_Monotonic_Heap_aref to fix regression caused by monotonic HyperStack

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin