Introduce "valid dimension", used as needed when calculating operand shapes (#641)

SHA: db0ed6a
Reason: push, by fdwr

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Author: inexorabletash