fix enforcement of size limit in prefab struct descriptions

Closes PR 14888
reject prefab specs with bad mutability indices

Closes PR 14887
fix a test

Allow an inferred function name to require "|...|" symbol escaping.
Win64: fix stack-trace imprecision

Propagates repairs of 71e0bdfcff to Win64 stack handling.