Device-independent quantum random number generation — extending the proofs to new protocols