x/devtools: mojo profile 12. Seems to have fixed the flaky apptests for discovery on local.
x/devtools: mojo profile 12. Seems to have fixed the flaky apptests
for discovery on local.

Let's run presubmit on this bunch of times before submitting.
May close https://github.com/vanadium/issues/issues/1278

Change-Id: Ife88443865982b2c60bdcccab2c1016c38b422ab

vanadium/go.devtools,vanadium/go.devtools,vanadium/go.devtools