On Decidable Growth-Rate Properties of Imperative Programs