Fix bug in user_recdevs check: must check if not null first
Add ability to pass seed value to get_recdevs

Address issue https://github.com/ss3sim/ss3sim/issues/125