Change guardedness check for new-style coinduction

Now checks that 'Delay LazyCodata' appears constructor guarded for *all*
coinductive definitions, not just mixed inductive/coinductive. Added
stream processor test.