Remove runtime dependency on ospec

ospec is required neither for building nor for running uint.