Update tests with ordered properties

[thk123]

Brings in diffblue/cbmc#5214

Previously propreties that differed only by name would be in a undefined order. Now they are sorted first by name, then by number. Expected output is updated accordingly.

[chrisr-diffblue]

I assume the submodule bump will need updating once diffblue/cbmc#5214 has actually been merged? We need the submodule pointing at cbmc/develop so that everyone/anyone can access the appropriate commit when building gnat2goto. I'll put a blocking review on just until the submodule gets bumped, but other than that, looks good.

[thk123]

@chrisr-diffblue now pointing at diffblue/cbmc:develop

[xbauch]

Looks good.

[chrisr-diffblue]

Approved, now the submodule points at develop - many thanks.

[thk123]

@chrisr-diffblue @martin-cs I don't have write access. Not sure if I should, but this is ready to merge :)

[chrisr-diffblue]

@thk123 Argh, apologies - I thought I'd added you to the appropriate group, but it turns out I hadn't actually clicked the extra "yes, I really do mean to do this" button. You should now have received an invite from Github.