SACA - removed +1 tricks in favor of SUF_INVALID. Added banana case, fixed induction for it. The LICENSE test now also passes.
Updated for the latest Rust-pre-0.10