[Monitor] Update Brave New World protocols to use internal DUT field names instead of those of the TB Verilog wrapper

[ngernest]

(This is to ensure that the exact same .prot file can run on both the interpreter and the monitor)