Fix up this branch's PULSE model with a couple more things

1. Use `keydir_call` and `keydir_return` for the trace labels
for NIF mutations.

2. Only consider *successful* mutations when checking for keydir frozenness.