Ensure that system server compiler filter is set to verify

It is useless to try a higher filter because system server cannot load
executable code. For now this is hard coded but we should consider making
it a system property to facilitate experiments.

Test: manual, DexManagerTests
Bug: 148774920
Change-Id: I10326823a1737b879f61eb4e1886f697807f1184