The board does not know or care what height you are only weight.
She can ride a smaller board with the new tech (mtx (lib & gnu), viao grip -sp (never summer) and shape (hybrid camber- rocker camber) and still have the stability / float.
I'm guessing her old board was camber.
All the boards are good, but she shall downsize.
The NS lotus is stiff and more toward freeride. cross that out.
The libtech TRS is an extruded base cross that out ( i don't like that)
That leave the GNU b-PRO and NS Infinity.
My gf has a GNU B-pro 152 10-11 that she you for 1 season. Very good shape and condition. LA area 250$ if interested. pm for more info