doc/nvc1: Add documentation about inst_executed