C2: Implement strict & relaxed identity semantics for vectors

On API/bytecode level, vectors are represented as Objects, but C2 aggressively eliminates vector boxes.

Some existing vector-specific optimizations can break identity invariants which hold for ordinary objects.

Use "strict" identity semantics by default, but allow users to opt-it for aggressive optimizations.