Fix "omega is deprecated" warnings by switching to lia

On Coq v8.12+alpha there are a few new warnings from uses of omega, which should be replaced with lia. This might be a little annoying to make compatible with Coq v8.9, since lia has gotten progressively more powerful.