fix Issue 12606 - Mismatch of known array length during dynamic => static array assignment should emit better diagnostics

Recognize slice expression on initializer and rhs of assignment
More compile-time length check on element-wise assignment