Add unreachability detection for missized patterns of fixed size vectors

Fixed #13482
Add support for fixed size vectors in let/arg patterns

Fixes #7784