Independence and conservativity results for intuitionistic set theory