Improve finding allocation-not-null tests.
* Support flattening multis containing set values into a plain scalar set
* Support casting scalarsplats to scalars or null pointers in store merge
* Forbid specialising on files in well-known special locations such as /proc