Use pointer provenance APIs

[nspin]

The strict and exposed provenance APIs offer a more general and rigorous way of constructing and deconstructing pointers. We should be using them instead of directly casting between pointers and integers.