some changes to serialization format
updated alloy.jar
changed how int bounds are specified
bugfix: serialize bounds before passing them to alloy
updated sudoku_test to work with the new way int bounds are specified