Added 4096-bit tests.