Support prediction vectors shorter than the right-truncation PMF in `compute_prop_already_reported`

[dylanhmorris]

Not for this PR, but we should consider generalizing compute_prop_already_reported so that this does not need to be true.

Originally posted by @dylanhmorris in #705 (comment)