Cleanup: Factored assertion loop out into constructor for stack extents.