Add more modifiable parameters to DeviceConfig.

Make list of ops tracked and op flag modifiable using
device_config.

Test: in development
Bug: 176965672
Change-Id: I82a20be94d73dbe8cf710e5aebe718c9a5b41a25
1 file changed