rosette bitwidth can now be configured to be any positive number; solvers (like Kodkod) that support only specific bitwidths will throw an error during compilation if the global bitwidth is outside of the supported range.