Optimisation: Pre-allocate rather than copy-extend arrays

Some encoders make frequent use of the following idiom within a loop:

```
/cws [ cws aload pop cw ] def
```

Better to pre-allocate than to extend by copying.