Stretch: use cgo to call Rust namespace verification natively

[nomaxg]

Necessary to make cmd/replay/main.go a valid Go program, but does not seem strictly necessary for now.

[sveitser]

Update as of today, this would still be desirable but not a priority. Keeping the issue open for now.