Impossibilities in succinct arguments: Black-box extraction and more