Fix addition verification, permute instead of shuffle for brute force,
add unit cage verification