[analyzer] Weaken assertion to account for pointer-to-integer casts.

PR16690
[analyzer] Add regression test for the crash in PR16664.

This goes with r186925, which reverted Pavel's commit in r186498.

Also, add a correctness test for the future.