Summary: In verification take into account partial coverage of a region by a card and expansion of the card table.
Reviewed-by: ysr, apetrusenko

Summary: Disable parallel reference processing when there are no worker threads
Reviewed-by: apetrusenko, pbk, jmasa, tonyp