An official report into the murder of Denis Donaldson, an MI5 informer operating at the highest ranks of Sinn Fein, has not quelled speculation over his killing.