Pushdown Automata and Constant Height: Decidability and Bounds