Add tests checking if Kani detects dangling pointer dereference inside println macro

[artemagvanian]

Extract tests from the discussion in #3235.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.