From 0xMiden/compiler#844 (comment):
Yes, this is a "known" issue - i.e., the canonical way for interpreting words on the stack is in "big-endian" order - i.e., most significant element on top (which most people interpret as "reverse" order). We are moving away from this and 0xMiden/miden-vm#2393 is a part of this process. It will take us some time to complete this though as basically everything in Miden kernel and standard library uses big-endian form for working with words (and by some time, I mean at least a month).
Once this is implemented, roll back the 0xMiden/compiler#850 change in the compiler.