On the (In)security of Stream Ciphers Based on Arrays and Modular Addition