Fix Monotonicity Detection Bug in Int to Int Cast for Signed Types

Fix wrong monotonicity detection for shrunk Int -> Int cast of signed types. It might lead to incorrect query result. This bug is unveiled in #14513. #14783 (Amos Bird).