Remove runtime dependency on ospec

ospec is required neither for building nor for running uint.
Merge pull request #2021 from whitequark/patch-1

Remove runtime dependency on ospec