Random encoder updates

Changed s to the more description name 'resolution'.
Fixed bug in returning bucket indices (added tests
to catch this bug.) Updated hotgym parameters.