We are aware that this is an assumption. We refer to the 'alleged thief' at several points in our paper, and I mention this in the blog comments.

We'd never get our point across if we exhaustively stated every single assumption we made - but you are right to highlight this - its good to be aware these assumptions are there.