Adding mistakenly omitted file from previous commit for device configurability, plus some minor cleanups:

Reverted Kernel#finalize, now not overridden (was disposing kernel but this caused problems due to threading).

Modified Range so that where auto-creating sizes (i.e. localIsDerived) for JavaDevices sizes are sensible (size = 1 for sequential, = Runtime.getRuntime().availableProcessors() for thread pool.