Now that we load different SDKs at run time, it felt weird to report one SDK level even though Robolectric might be running with a different set of code.  If I were a user, I might be somewhat confused about how the two flags would interact.  Maybe we should just set the SDK level to whatever the user has specified and then try to load the SDK that's the closest match?  It could still lead to some strange test behavior, though.