Update SequentialProposalDemo and documentation for it.