new test for bdd_and/3, merging multiple BDDs

This test finds the now corrected mistake of placing rebuild_hashes/1 in
bdd_and/3, clearing local tables even though the nodes still occur in
other BDDs. This test is faster than the one shown in the git commit.