Could you please release new version? [1.7.11](https://www.nuget.org/packages/Microsoft.Coyote/1.7.11) references (in)directly vulnerable package versions.
