Added check in dotfiles for file encryption

This script raises an error if the file system is not encrypted using OS
X's filevault. This resolves #78655548.