runfix: Do not show MLS verification state for proteus devices

[atomrc]

Description

Differenciate proteus-only devices from MLS basic devices in the verification badges of a user's devices

Screenshots/Screencast (for UI changes)

Checklist

• PR has been self reviewed by the author;
• Hard-to-understand areas of the code have been commented;
• If it is a core feature, unit tests have been added;

[codecov]

Codecov Report

Attention: 2 lines in your changes are missing coverage. Please review.

Comparison is base (93da4be) 45.48% compared to head (c3a823b) 45.49%.

Additional details and impacted files

@@            Coverage Diff             @@
##              dev   #16404      +/-   ##
==========================================
+ Coverage   45.48%   45.49%   +0.01%     
==========================================
  Files         736      736              
  Lines       23972    23974       +2     
  Branches     5454     5453       -1     
==========================================
+ Hits        10903    10908       +5     
+ Misses      11669    11666       -3     
  Partials     1400     1400