Flesh out BSTs and add some specs
Add arbitrary generator for stacks