adding options to an OOMDPPlaner instance automatically sets the option
to use the planner's hashing factory for computing option transition
dynamics.