veyron: Run vdl generate all to update vdl files.
veyron: Run vdl generate all to update vdl files.

I just noticed some files were out of date; updating now
will make it easier to review my upcoming change.

Change-Id: Ieb3cb3cdb257fba27761a78ed7d3210eeff380e3

vanadium/go.v23,vanadium/go.v23,vanadium/go.v23