An unexplored area in stress-testing compiler optimizations is testing recursion optimizations such as recursion elimination. Compiler testing commonly requires input programs to be terminating, which requires a new approach to program generation. This talk explores different strategies to termination checking, focusing on a tutorial on sized types for program generation.