Mining issues resolved, Duel bot change, Fixup to bosses.

Core:\n- Mining issues fixed.\n- AncientDevil trigger will properly init AncientDevil.\n\nBot:\n- Duel bots will now randomize which line spell to use.