Fix non strict push 1.2

This fixes bst push to not crash in non-strict mode, by informing all elements that they have already been pulled in Stream.push().

This also adds a regression test for #990