Modeling paraxial wave propagation in free-electron laser oscillators