fix[ux]: fix false positive for overflow in type checker

[tserg]

What I did

Fix #4383

How I did it

Catch OverflowException when finding possible types for BinOp node.

How to verify it

See test.

Commit message

this commit fixes a false positive for integer overflow in
the typechecker involving nested pow operations by filtering
`OverflowException` in `_validate_op`. the previous code assumed that
`validate_numeric_op` could throw anything besides `InvalidOperation`,
but for the `Pow` binop, it can throw `OverflowException`.

Description for the changelog

Cute Animal Picture

[charles-cooper]

lgtm, thanks!