Fix tests: max fold level is now 1023 instead of 7 (we have 10 bits instead of 3)