use nested_aset to simplify ConfigHash.[]= implementation
add Ext.rdtsc_start and Ext.rdtsc #6