cedar-policy-symcc-v0.6.0

Release 0.6.0 of cedar-policy-symcc, available on crates.io

Added

• CompiledSchema type that precomputes symbolic entities once per schema and produces
  SymEnv instances via sym_env(), avoiding expensive per-environment rebuilds.

Fixed

• Fix errors decoding models from Z3. The model decoder now accepts hexadecimal bitvectors
  in solver output (e.g., #xff). It also handles an option literal none
  without an explicit type annotation, as long as it can infer the type. Finally, it accepts
  models for UUFs with equality operands in either order.
• Fix errors decoding models for entities with Bool typed tags.