ambiguity_sat_inclusion2 implementation, basic testing

incomplete: needs better unit tests, remove old ambiguity_sat_inclusion, remove printfs
Is this a generally useful function that could be moved to lin alg?