Function annotate 

pub fn annotate(module: &mut Module) -> usize

Writes Flags::HANDED onto every check whose bytes are inside an object its callers hand in.

Gives back how many checks were marked, which is what the pipeline reports.