Latest code is here for anyone interested: https://github.com/eanders-ms/pxt-3d
(also, improved dithering:)