Fix for issue #553.

Check if a static array is accessed with a known index. In this case the bounds check can be omitted.

A bit irritating is the comment:

    // static arrays could get static checks for static indices
    // but shouldn't since it might be generic code that's never executed

because I do not see where the static bounds and indices might be changed later.