Helpers: Exhaustively test correctness of resetActivePageHeight()