fix Issue 13775 - Broken explicit casting of dynamic array slices of known size to static array of different type

Support reinterpret-cast from a CT-known boundaries slice expression that can be implicitly typed as `T[n]` to another static array type `U[m]`, iff their sizes are same (`T[n].sizeof == U[m].sizeof`).
Merge pull request #4193 from 9rnsr/fix13775

[REG2.067a] Issue 13775 - Broken explicit casting of dynamic array slices of known size to static array of different type
List -verrors switch in help messages
Merge pull request #4194 from 9rnsr/sw_verrors

List -verrors switch in help messages