Always use a seed to initialize PRG
Cleaned up explorer interfaces now that we always specify PRG seed
Consolidate exploration algorithms into explorer.h