ENHANCED: library(sandbox): various issues with safe directive checking.
ADDED: Auto-load library(sandbox) if [sandboxed(true)] is used with
load_files/2.
ADDED: load_files/2: sandboxed(true) to ensure we cannot assert clauses
with other modules.
FIXED: Safe directive checking