Cleanup of ivas_prot_rend.h, bug fixes and instrumentation changes