Stubbing specs
RandomSet specs and some tweaks