Move ids.is_small hint implementation to cairo-rs

[pefontana]

Move this hint implementation from starknet_in_rust to cairo-rs:

%{
    # Verify the assumptions on the relationship between 2**250, ADDR_BOUND and PRIME.
    ADDR_BOUND = ids.ADDR_BOUND % PRIME
    assert (2**250 < ADDR_BOUND <= 2**251) and (2 * 2**250 < PRIME) and (
            ADDR_BOUND * 2 > PRIME), \
        'normalize_address() cannot be used with the current constants.'
    ids.is_small = 1 if ids.addr < ADDR_BOUND else 0
%}

It is already implemented in starknet_in_rust here. Once the hint is implemented in cairo-rs notify the starknet_in_rust team so they can delete their implementation.