Simplify default policy handling

- Remove defaultPolicy() from solver, it uses the lower bound policy instead.
  This also fixes a bug where pruning all nodes of the tree would not lead to
  the lower bound action being chosen.
- Lower bound now returns a pair of (value, action) instead of just value.