The API went out-of-sync with libcore

[RalfJung]

Strict provenance in libcore saw some renames recently, so the API here is no longer in sync with the one that will be stabilized eventually.

• invalid -> without_provenance
• from_exposed_addr -> with_exposed_provenance
• expose_addr -> expose_provenance